واژگان
| ~ | Tilde |
| ≡ | Three-bar sign |
| ⊂ | Horseshoe |
| ⋁ | Wedge |
| • - ∧ | • |
| آنالوجی | Analogy |
| ارسطو و متغیر گزاره ای | Aristotle and variable |
| استدلال‌های تابع-ارزش | Truth functional argument |
| استلزام | Implication |
| استلزام مادی | Material Implication |
| استلزام منطقی | Logical entailment |
| اسکندر افرودیسی | Alexander of Aphrodisias |
| اصل امتناع تناقض | Principle of noncontradiction |
| اصل این‌همانی | Principle of identity |
| اصل طرد شق ثالث | Principle of excluded middle |
| اصل طرد شق وسط | Principle of excluded middle |
| اگر و فقط اگر | If and only if |
| پارادوکس | Paradox |
| پارادوکس حرکت | Movement paradox |
| پارمِنیدِس | Parmenides |
| پیش سقراطیان | Pre Socratic philosophy |
| پیکربندی "یا"ی منع جمع | Strong or formula |
| تالی | Consequent |
| ترکیب شرطی گزاره شرطی | |
| ترکیب عطفی | Conjunctive statement |
| ترکیب فصلی | Disjunctive statement |
| تناقض | Contradiction |
| توتولوژی | Tautology |
| جدول ارزش | Truth table |
| جدول ارزش نقیض | Negation truth-table |
| جدول ارزش استلزام مادی | Material Implication truth table |
| جدول ارزش ترکیب عطفی | Conjunction truth table |
| جدول ارزش ترکیب فصلی | Disjunction truth table |
| حروف گزاره‌ای | Statement letter |
| منطقاً درست | |
| دو شرطی | Biconditional |
| ذنون سیتیومی | Zeno of Citium |
| روش جدول ارزش کامل CTTM | The Complete Truth-Table Method |
| رابط تابع-ارزش | Truth-Functional Connective |
| رشد تصاعدی جدول ارزش | Exponential growth of the truth table |
| زبان نمادین پیش‌ساخته | Artificial symbolic language |
| زنون اِلیایی | Zeno of Elea |
| شرط کافی | Sufficient condition |
| شرط لازم | Necessary condition |
| صورت استدلال | Argument Form |
| صورت استدلالی معتبر | Valid Logical Form |
| صورت استدلالی نامعتبر | Invalid Logical Form |
| صورت منطقی | Logical form |
| صورت گزاره‌ای | Statement form |
| صورت گزاره‌ای توتولوژیک | Tautologous statement form |
| صورت گزاره‌ای فصلی | Disjunctive statement form |
| صورت نوعی | Specific Form |
| صورت نوعی یک گزاره داده‌شده | Specific formof a given statement |
| عاطف | Conjunction |
| عطف | Conjunct |
| فاصل | Disjunction |
| فراسنجی | Analogy |
| قاعده انکار | Method of denying |
| قاعده تصدیق | Method of affirming |
| قاعده رفع | Method of taking away |
| قاعده وضع | Method of putting |
| قانون پیرس | Peirce's law |
| قضیه‌های دمورگان | DeMorgan's Theorems |
| قیاس استثنائی | Modus Ponens |
| قیاس اقترانی | Modus Tollens |
| قیاس تشبیهی | Analogy |
| قیاس شرطی | Hypothetical Syllogism |
| قیاس شرطی محض | Pure Hypothetical Syllogism |
| قیاس فصلی | Disjunctive Syllogism |
| گزاره ساده | Simple Statement |
| گزاره شرطی | Conditional statement |
| گزاره غیرمرکب | Non-compound |
| گزاره فرضی | Hypothetical proposition |
| گزاره مرکب | Compound statement |
| گزاره مرکب تابع–ارزش | Truth-Functional Compound Statement |
| گمارش مقادیر ارزش گمارش | Truth value assignment |
| متغیر | Variable |
| متغیرهای گزاره‌ای | Statement variable |
| متناقض | Self-contradictory |
| محاسبه پذیر | Computable |
| محاسبه‌پذیری منطق گزاره‌ای | Propositional logic computability |
| ۹.۸ - د | |
| معتبر | Valid |
| مقدار ارزش مقادیر ارزش | Truth Value |
| مقدم | Antecedent |
| مکتب رواقی | Stoicism |
| ممکن | Contingent |
| منطق ارسطویی | Aristotelian Logic |
| منطق ریاضی | Mathematical Logic |
| منطق نمادین | Symbolic Logic |
| منطقاً مستلزم | Logical entailment |
| منطقاً هم‌ارز | Logically Equivalent |
| مورد جانشین | Substitution Instance of an Argumentm |
| مورد جانشین آن صورت گزاره‌ای | Substitution instance of the statement form |
| مؤلفه | Component |
| مؤلفه تابع-ارزش | Truth-Functional component |
| نامعتبر | Invalid |
| نتیجه منطقی | Logical consequence |
| نشان گذاری نگارشی | Punctuation |
| نقض دوگانه | Double Negation |
| نقیض | Negation |
| هخامنشیان | Achaemenid |
| هم‌ارز مادی | Material equivalence |
| هم‌ارز منطقی منطقاً هم‌ارز | Logical equivalence |
| وازنش با فراسنجی | Refutation by logical analogy |
| وازنش با قیاس تشبیهی | Refutation by logical analogy |
| یا-ی انحصاری "یا"ی قوی | Exclusive Disjunction |
| یا-ی غیرانحصاری "یا"ی ضعیف | Inclusive Disjunction |